1. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
2. Christianity in late antiquity, 300-450 C.E.
پدیدآورنده : Bart D. Ehrman, Andrew S. Jacobs
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Christian literature, Early
رده :
BR
,
63
,.
C47
,
2004
3. Introduction to Coalgebra
پدیدآورنده : \ Bart Jacobs
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Associative algebras,Universal enveloping algebras.
رده :
E-Book
,
4. Technology In Transition: A. D. 300- 650
پدیدآورنده : / Edited By Luke Lavan, Enrico Zanini And Alexander Sarantis : With The Assistance of The ine Jacobs, Dirk Booms, Bart De Graeve
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Technology -- Mediterranean Region -- History., Mediterranean Region -- Antiquities, Mediterranean Region -- History,تکنولوژی -- مدیترانه، نواحی -- تاریخ
رده :
T16
.
T43